#include "LineLabel.h"


LineLabel::LineLabel(int _num)
    : lineNum(_num), Token(LABEL)
{
}


LineLabel::~LineLabel(void)
{
}

void LineLabel::Dump()
{
    printf("LineLabel: %d\n", lineNum);
}

int LineLabel::GetIntProp()
{
    return lineNum;
}
